Perils of secrecy

Secrecy logic: S -secrecy structures

Let S = 〈L, S〉 be a deductive system. An S -secrecy logic is a quadruple K = 〈FmL(V ),K,B, S〉 , where FmL(V ) is the algebra of L-formulas, K,B are S -theories, with B ⊆ K and S ⊆ K such that S ∩ B = ∅ . K corresponds to information deducible from a knowledge base, B to information deducible from the publicly accessible (or browsable) part of the knowledge base and S is a secret set, a set of s...

The perils of snowmobiling.

Snowmobiling is a popular winter sport in Wisconsin, but it can result in serious injury and death. From 1998-2002, 1090 people in Wisconsin were hospitalized due to injuries related to snowmobiling. From 2002 to 2004, 51 snowmobile-related fatalities were reported to the Wisconsin Department of Natural Resources. Multiple risk factors exist for snowmobile injury and death, with alcohol consump...

The Perils of Presidentialism

Secrecy-Preserving Reasoning using Secrecy Envelopes

Inmany applications of networked information systems, the need to share information often has to be balanced against the need to protect secret information from unintended disclosure, e.g., due to copyright, privacy, security, or commercial considerations. We study the problem of secrecy-preserving reasoning, that is, answering queries using secret information, whenever it is possible to do so,...

The perils of connectivity.